Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
921	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory
922	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
923	CCCG 2006, Kingston, Ontario, August 14–16, 2006 A Simple Streaming Algorithm for Minimum Enclosing Balls Hamid Zarrabi-Zadeh∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:03 Computational complexity theory Computational geometry Linear programming Analysis of algorithms LP-type problem Algorithm Time complexity Streaming algorithm Minimum bounding box algorithms Theoretical computer science Applied mathematics Mathematics
924	The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Functional languages Type theory Procedural programming languages Agda Data types Functional programming Haskell Dependent type Generalized algebraic data type Software engineering Computing Computer programming
925	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
926	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
927	Study of OCaml programs’ memory behavior C ¸ agdas Bozman Thomas Gazagnaire Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:01:59 Memory management Functional languages Procedural programming languages Type theory Data types OCaml Region-based memory management ML Caml Computing Software engineering Computer programming
928	Modula-3 Systems Journal • Issue 3 • Fall 1997 Threads The Modula-3 Systems Journal Issue 3 Add to Reading List Source URL: www.modula3.org Language: English - Date: 2007-06-22 11:24:21 Cross-platform software Data types Procedural programming languages Java platform Type theory Modula-3 Java virtual machine Pointer Java Computing Software engineering Computer programming
929	Evaluating the dynamic behaviour of Python applications Alex Holkner James Harland School of Computer Science Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:48 Type theory Scripting languages Object-oriented programming Data types Cross-platform software Python Dynamic programming language Type system Dynamic dispatch Software engineering Computing Computer programming
930	Copatterns Programming Infinite Structures by Observations Andreas Abel Department of Computer Science, Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-11-04 20:07:09 Data types Functional languages Type theory Literate programming Deduction Natural deduction Pattern matching String Model theory Software engineering Computing Computer programming

UPDATE